Supporting the Design Pattern “ Object Structures as Plain Values ” ∗
نویسنده
چکیده
We sketch the principles of a type system for an object-oriented language such as Java which allows to statically ensure that an object structure is not modified by a method call, if the primary reference of that object structure is stored in a local variable of the method and this variable does not syntactically occur in the call. The object structure thus behaves like a “plain value”, say a machine number, stored in a local variable in that no hidden side-effects can change it. We call the corresponding design pattern “object structures as plain values”. The model is presented in an informal style; its validity still remains to be shown by a formal definition and soundness proof.
منابع مشابه
Effect of pontic width on stress distribution in abutment teeth and their supporting structures by finite element analysis
Effect of pontic width on stress distribution in abutment teeth and their supporting structures by finite element analysis Dr. J. Ghanbarzadeh* - Dr. MR. Sabooni* - Dr. M. Keshavarz** * Assistant Professor of Dental Prostheses Dept., Faculty of Dentistry, Mashhad University of Medical Sciences. ** Assistant Professor of Dental Prostheses Dept., Faculty of Dentistry, Kerman University of Medical...
متن کاملOPTIMAL DESIGN OF JACKET SUPPORTING STRUCTURES FOR OFFSHORE WIND TURBINES USING ENHANCED COLLIDING BODIES OPTIMIZATION ALGORITHM
Structural optimization of offshore wind turbine structures has become an important issue in the past years due to the noticeable developments in offshore wind industry. However, considering the offshore wind turbines’ size and environment, this task is outstandingly difficult. To overcome this barrier, in this paper, a metaheuristic algorithm called Enhanced Colliding Bodies Optimization...
متن کاملPromoting city center parking qualities using urban design guidelines
Quality is the most important consequence of an urban design project, and its promotion is the final duty of an urban designer. So "urban design guidelines" which use environmental improvement factors in their structure, have an effective role in promoting urban space quality. "Urban design guidelines" are the most important instruments in urban designers' authority, to reflect and appear im...
متن کاملA Programming Language for Design Patterns
Design patterns are widely used in object-oriented design. The application of design patterns in programming, however, is usually based on manual implementation in an ordinary object-oriented programming language resulting in problems like the lack of encapsulation, traceability and reusability of the patterns. We present a design pattern oriented programming model as an extension of the object...
متن کاملSeismic Response of Building Structures with Sliding Non-structural Elements
Interaction between a structure under base excitation and heavy non-structural elements that it supports is significant in the seismic analysis and design of the structure. Heavy non-structural elements may slide/rock under base excitation, and this dynamic action affects the seismic behavior of the supporting structure. Hence, in this study, a numerical model was presented to describe the seis...
متن کامل